<div>
  Specify host name patterns that shouldn't go through the proxy, one host per
  line. "*" is the wild card host name (such as "*.jenkins.io" or
  "www*.jenkins-ci.org")
</div>
